ST Engineering - PDFSEARCH.IO - Document Search Engine

ST Engineering
Results: 2740

#	Item
901	QVM: An Efﬁcient Runtime for Detecting Defects in Deployed Systems MATTHEW ARNOLD and MARTIN VECHEV, IBM Research ERAN YAHAV, Technion and IBM Research Coping with software defects that occur in the post-deployment st Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-01-06 13:35:10 Software optimization Cross-platform software Java Virtual machine Profiling VM Objective-C BitTorrent Class Computing Software engineering Computer programming
902	Nodal Centre – 10 : Mangalore The Principal Sahyadri College of Engg. & Management Sahyadri Campus NH – 48, Adyar Mangalore – 575007 Add to Reading List Source URL: www.kscst.iisc.ernet.in Language: English - Date: 2014-12-17 07:34:53 Dakshina Kannada Surathkal Mangalore Sullia Moodabidri Ujire Bhatkal Manipal St. Joseph Engineering College States and territories of India Karnataka Dakshina Kannada district
903	June[removed]Jess St, Bernard IA I get general internet browsing, email and Add to Reading List Source URL: www.bernardtelephone.com Language: English - Date: 2015-02-26 15:42:06 Technology Telecommunications Electromagnetism Telecommunications Relay Service Telecommunications device for the deaf Electrical engineering 7-1-1 Relay Video Relay Service Assistive technology Deafness Telephony
904	I DRIS — Systems Programming Meets Full Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Abstract Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-11-18 11:51:31 C++ Data types Functional programming Type theory Theoretical computer science ATS Polymorphism Pattern matching C++ classes Software engineering Computing Computer programming
905	Fundamenta Informaticae XX[removed]–31 1 IOS Press Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-07-20 09:14:49 Type theory Data types Functional programming Functional languages Dependently typed programming Dependent type Lock Generalized algebraic data type Concurrent computing Computing Software engineering Programming language theory
906	Poliovirus Laboratory Containment Activities - Belgian Experience Joint Containment - Polio Labnet WHO/EURO Meeting St. Julians, Malta, 20-22 February 2007 M. Sneyers, Division of Biosafety and Biotechnology (SBB) Add to Reading List Source URL: www.biosafety.be Language: English - Date: 2007-12-11 09:54:50 Genetic engineering Genetically modified organism Risk Bioethics Biosafety
907	Speech Agcarm President Mark Christie to the Agcarm Summer Conference Villa Maria Estate, Mangere, Auckland 9.00am, Wednesday 25 February[removed]Today, I want to talk about some of the regulatory changes ahead and the st Add to Reading List Source URL: agcarm.co.nz Language: English - Date: 2015-02-25 19:57:43 Food safety Industrial engineering Packaging Product safety Quality Quality management Occupational safety and health United States Environmental Protection Agency Safety Risk Management
908	Programming in I DRIS: A Tutorial The I DRIS Community 26th October 2014 Contents 1 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2014-10-26 16:37:40 Functional programming Data types Type theory Fold Type system OCaml Algebraic data type Polymorphism Append Software engineering Computing Computer programming
909	May[removed]Jess St, Bernard IA[removed] Add to Reading List Source URL: www.bernardtelephone.com Language: English - Date: 2015-02-26 15:42:08 Electronic engineering Electronics Telephony Smartphones Caller ID
910	Programming and Reasoning with Algebraic Effects and Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-03-29 05:54:16 Functional programming Control flow Procedural programming languages Subroutines Recursion Monad Eval Type system List comprehension Computing Software engineering Computer programming

UPDATE